『Eliminating Array Bound Checking Through Dependent Types』

1998,Hongwei Xi-Frank Pfenning

1. どんなもの？

2. 先行研究と比べてどこがすごい？

3. 技術や手法のキモはどこ？

4. どうやって有効だと検証した？

5. 議論はある？

6. 次に読むべき論文は？

============================

table:訳

array bounds cheking 配列境界チェック

Nonetheless それにもかかわらず